Automated Reasoning Publications

Publications in Automated Reasoning

Explore the most influential research papers and scholarly works that have shaped Automated Reasoning. Use the concept filter below to focus on a specific sub-area of research.

Automated Reasoning

91.2K

Publications

5.7M

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
PRISMA Extension for Scoping Reviews (PRISMA-ScR): Checklist and Explanation Andrea C. Tricco, Erin Lillie, Wasifa Zarin, Annals of Internal Medicine EngineeringScoping ReviewsSystematic Literature StudyVerificationClinical Guidelines	2018	36K
A logical calculus of the ideas immanent in nervous activity Warren S. McCulloch, Walter Pitts Bulletin of Mathematical Biology Symbolic LearningCognitive ScienceComputational NeuroscienceAutomated ReasoningNeurophilosophy	1943	17.7K
The concept of a linguistic variable and its application to approximate reasoning-III L. A. Zadeh Information Sciences Applied LinguisticsFormal SemanticsCognitive LinguisticsCognitive ScienceSyntax	1975	12.2K
Introduction to automata theory, languages and computation Mathematics and Computers in Simulation Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1981	10.8K
Graph-Based Algorithms for Boolean Function Manipulation Bryant IEEE Transactions on Computers Circuit ComplexityComputational LogicLogic SynthesisEngineeringBoolean Function Manipulation	1986	8.8K
On Computable Numbers, with an Application to the Entscheidungsproblem Alan Turing Proceedings of the London Mathematical Society Computable NumbersEngineeringAutomated ReasoningComputational Model TheoryFormal Methods	1937	8K
From local explanations to global understanding with explainable AI for trees Scott Lundberg, Gabriel Erion, Hugh Chen, Nature Machine Intelligence Artificial IntelligenceSymbolic LearningEngineeringMachine LearningData Science	2020	7.7K
The Logic of Scientific Discovery. T. W. Hutchison, Karl R. Popper Economica Philosopher A.jHumanitiesHistory Of Science'Great OriginalityData Science	1959	7.6K
Maintaining knowledge about temporal intervals James F. Allen Communications of the ACM EngineeringTemporal Intervals AuthorData ScienceAutomated ReasoningAlert Preferences	1983	7.5K
Lecture Notes in Artificial Intelligence Patrick Brézillon, Paolo Bouquet Artificial IntelligenceEngineeringAutomated ReasoningAlgorithmic LearningArtificial General Intelligence	1999	7.4K
SMILES, a chemical language and information system. 1. Introduction to methodology and encoding rules David Weininger Journal of Chemical Information and Computer Sciences EngineeringMedia StandardsBibliometricsInformation SystemEncoding Rules	1988	7.3K
The Magma Algebra System I: The User Language Wieb Bosma, John Cannon, Catherine Playoust Journal of Symbolic Computation EngineeringMagma Algebra SystemRepresentation TheoryModern AlgebraAutomated Reasoning	1997	7.2K

Page 1